John Stanford - PDFSEARCH.IO - Document Search Engine

John Stanford
Results: 648

#	Item
301	ARTIFICIAL INTELLIGENCE: ENGINEERING, SCIENCE, OR SLOGAN? Nils J. Nilsson Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-05-14 18:27:16 Ethology Philosophy of artificial intelligence Formal sciences Interdisciplinary fields Computational neuroscience Expert system Knowledge representation and reasoning Applications of artificial intelligence John McCarthy Science Knowledge Artificial intelligence
302	Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. Protocol authentication properties are generally Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-12-27 15:51:40 Advantage Cryptographic protocol Cipher XTR Cryptography Ciphertext indistinguishability Semantic security
303	Channeling Change: Making Collective Impact Work By Fay Hanleybrown, John Kania, & Mark Kramer Stanford Social Innovation Review 2012 Add to Reading List Source URL: vcosslink.vcoss.org.au Language: English - Date: 2013-09-25 02:26:27 Corporate social responsibility The Center for Effective Philanthropy Environmentalism Environmental governance
304	Flattened Butterfly : A Cost-Efficient Topology for High-Radix Networks John Kim, William J. Dally Dennis Abts Add to Reading List Source URL: cva.stanford.edu Language: English - Date: 2007-04-03 18:23:10 Routing Network topology Router Routing protocols Network switch SGI Origin Topology Fat tree Network architecture Computing Electronics
305	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing
306	CMOS High-Speed I/Os — Present and Future M.-J. Edward Lee1 , William J. Dally1,2 , Ramin Farjad-Rad1 , Hiok-Tiaq Ng1 , Ramesh Senthinathan1 , John Edmondson1, and John Poulton1 1 Velio Communications, Inc. Add to Reading List Source URL: cva.stanford.edu Language: English - Date: 2005-12-01 13:38:05 Oscillators Synchronization Electronic design Digital signal processing Electronic circuits Jitter Phase-locked loop Phase noise Clock recovery Electronic engineering Electronics Electromagnetism
307	Banshee: A Scalable Constraint-Based Analysis Toolkit? John Kodumal1 and Alex Aiken2 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-06-06 18:55:41 Computing Constraint satisfaction problem Backtracking Constraint graph Prolog Constraint Type system Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
308	Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland, College Park and ROBERT JOHNSON and JOHN KODUMAL University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-02-01 19:06:12 Type safety Type inference Type system Theoretical computer science Type theory Programming language theory Software engineering
309	NBER WORKING PAPER SERIES CLIMATE AND CIVIL WAR: IS THE RELATIONSHIP ROBUST? Marshall Burke John Dykema Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2010-10-04 16:39:43 Econometrics Instrumental variable Regression analysis Atmospheric sciences Climate change Human Security Report Project Climate 2000s Civil war Economics International relations Climate history
310	An Operational Semantics for JavaScript Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:41 Scripting languages Cross-platform software Type theory Data types Functional programming JavaScript Operational semantics ECMAScript Type system Software engineering Computing Computer programming

UPDATE